
#ifndef __COUNTMIN__h_
#define __COUNTMIN__h_
#include "base/abc/abc.h"
#include "bdd/extrab/extraBdd.h"
#include "Int.h"
extern double Print_ErrorRate(Abc_Ntk_t *pNtk);
extern int ErrorMinterm(Abc_Ntk_t *pNtk, Integer *Bound);
extern int ErrorRate(Abc_Ntk_t *pNtk, Integer *Bound, double *rrate);
extern Integer *Cudd_CountMinterm_Large(DdManager * manager, DdNode * node, int  nvars);

#endif
